Results for 'Craig A. Smorynski'

970 found
Order:
  1. Stewart Shapiro. Introduction—intensional mathematics and constructive mathematics. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, vol. 113, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 1–10. - Stewart Shapiro. Epistemic and intuitionistic arithmetic. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 11–46. - John Myhill. Intensional set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 47–61. - Nicolas D. Goodman. A genuinely intensional set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 63–79. - Andrej Ščedrov. Extending Godel's modal interpretation to type theory and set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 81–119. - Robert C. Flagg. Church's. [REVIEW]Craig A. Smorynski - 1991 - Journal of Symbolic Logic 56 (4):1496-1499.
  2.  88
    Calculating self-referential statements, I: Explicit calculations.Craig Smorynski - 1979 - Studia Logica 38 (1):17 - 36.
    The proof of the Second Incompleteness Theorem consists essentially of proving the uniqueness and explicit definability of the sentence asserting its own unprovability. This turns out to be a rather general phenomenon: Every instance of self-reference describable in the modal logic of the standard proof predicate obeys a similar uniqueness and explicit definability law. The efficient determination of the explicit definitions of formulae satisfying a given instance of self-reference reduces to a simple algebraic problem-that of solving the corresponding fixed-point equation (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  3.  45
    The finite inseparability of the first-order theory of diagonalisable algebras.Craig Smoryński - 1982 - Studia Logica 41 (4):347 - 349.
    In a recent paper, Montagna proved the undecidability of the first-order theory of diagonalisable algebras. This result is here refined — the set of finitely refutable sentences is shown effectively inseparable from the set of theorems. The proof is quite simple.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  67
    Putting appraisal in context: Toward a relational model of appraisal and emotion.Craig A. Smith & Leslie D. Kirby - 2009 - Cognition and Emotion 23 (7):1352-1372.
    According to appraisal theory, emotions result from an individual's meaning analysis of the implications of his/her circumstances for personal well-being, and individual differences in emotion arise when individuals appraise similar situations differently. Relational models of appraisal attempt to describe the situational and dispositional antecedents of appraisals, and should allow one to predict such individual differences. In this article, we review three examples of our efforts toward developing relational appraisal models. In two, we start with a particular appraisal component, motivational relevance (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  5.  13
    Automatically generating abstractions for planning.Craig A. Knoblock - 1994 - Artificial Intelligence 68 (2):243-302.
  6. Attitudes toward physician-assisted suicide among physicians in Vermont.A. Craig, B. Cronin, W. Eward, J. Metz, L. Murray, G. Rose, E. Suess & M. E. Vergara - 2007 - Journal of Medical Ethics 33 (7):400-403.
    Background: Legislation on physician-assisted suicide is being considered in a number of states since the passage of the Oregon Death With Dignity Act in 1994. Opinion assessment surveys have historically assessed particular subsets of physicians.Objective: To determine variables predictive of physicians’ opinions on PAS in a rural state, Vermont, USA.Design: Cross-sectional mailing survey.Participants: 1052 physicians licensed by the state of Vermont.Results: Of the respondents, 38.2% believed PAS should be legalised, 16.0% believed it should be prohibited and 26.0% believed it should (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  7. Assessing students' abilities to construct and interpret line graphs: Disparities between multiple‐choice and free‐response instruments.Craig A. Berg & Philip Smith - 1994 - Science Education 78 (6):527-554.
     
    Export citation  
     
    Bookmark   2 citations  
  8.  31
    Against Penelope: An Invective Theme from Hellenistic Greece.Craig A. Gibson - 2019 - Classical World: A Quarterly Journal on Antiquity 113 (1):53-63.
  9.  12
    “Women′s sacrifices” in [Libanius] Progymnasmata 12.29.6.Craig A. Gibson - 2008 - Philologus: Zeitschrift für Antike Literatur Und Ihre Rezeption 152 (2):343-345.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  38
    God is Deeper than Darwin: John Haught's Catholic Theology and Science.Craig A. Baron - 2013 - Heythrop Journal 54 (4):645-657.
  11. Amos 8:1–12.Craig A. Satterlee - 2007 - Interpretation: A Journal of Bible and Theology 61 (2):202-204.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  53
    Dewey, women, and weirdoes: Or, the potential rewards for scholars who dialogue across difference.Craig A. Cunningham, David Granger, Jane Fowler Morse, Barbara Stengel & Terri Wilson - 2007 - Education and Culture 23 (2):pp. 27-62.
    This symposium provides five case studies of the ways that John Dewey's philosophy and practice were influenced by women or "weirdoes" (our choices include F. M. Alexander, Albert Barnes, Helen Bradford Thompson, Elsie Ripley Clapp, and Jane Addams) and presents some conclusions about the value of dialoging across difference for philosophers and other scholars.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  13.  15
    The Handbook of Virtue Ethics, edited by Stan Van Hooft.Craig A. Boyd - 2017 - Journal of Moral Philosophy 14 (4):483-486.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  14.  30
    Seeking the Identity of Jesus: A Pilgrimage – Edited by Beverly Roberts Gaventa and Richard B. Hays.Craig A. Evans - 2011 - Modern Theology 27 (1):212-214.
  15.  17
    Postsecular political and fundamental theology: appropriating ‘the event’ of revelation.Craig A. Baron - 2022 - International Journal of Philosophy and Theology 83 (4):296-314.
    This paper is an analysis of John Caputo’s philosophical interpretation of ‘the event’ as a form of revelation with specific reference to political theology and in dialogue with the theological notion of ‘interruption’ by the fundamental theologian Lieven Boeve. Following Charles Taylor’s interpretation of the post-secular, the argument is that Boeve’s ‘radical hermeneutics of religion’ is more postmodern than Caputo because it presents religion as co-constituted with language, particularity, and contingency and grounded within the specificity of the Christian narrative.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  13
    Hope, utopia and creativity in higher education: pedagogical tactics for alternative futures.Craig A. Hammond - 2017 - New York: Bloomsbury Academic, An imprint of Bloomsbury Publishing Plc.
    Reappraising ideas associated with Ernst Bloch, Roland Barthes and Gaston Bachelard within the context of a utopian pedagogy, Hope, Utopia and Creativity in Higher Education reframes the transformative, creative and collaborative potential of education offering new concepts, tactics and pedagogical possibilities. Craig A. Hammond explores ways of analysing and democratising not only pedagogical conception, knowledge and delivery, but also the learning experience, and processes of negotiation and peer-assessment. Hammond shows how the incorporation of already existent learner hopes, daydreams, and (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  38
    Greek love at Rome.Craig A. Williams - 1995 - Classical Quarterly 45 (02):517-.
    It has long been a commonly held belief among classicists that traditional Romans frowned upon male homosexuality and associated it with the influence of Greek culture. There have always been exceptions to this belief, but when Paul Veyne published the following remarks in his 1978 article ‘La famille et l'amour sous le hautempire romain’, his views were quite heterodox: Il est faux que l'amour ‘grec’ soit, à Rome, d'origine grecque: comme plus d'une société méditerranéenne de nos jours encore, Rome n'a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  15
    Palaephatus and the Progymnasmata.Craig A. Gibson - 2012 - Byzantinische Zeitschrift 105 (1).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  14
    The School of Libanius in Late Antique Antioch.Craig A. Gibson - 2008 - Classical World: A Quarterly Journal on Antiquity 102 (1):91-92.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  7
    A Systems View of Classrooms.Craig A. Cunningham - 2015 - Philosophy of Education 71:269-272.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21. When God Speaks Through Change: Preaching In Times of Congregational Transition.Craig A. Satterlee - 2005
    No categories
     
    Export citation  
     
    Bookmark  
  22.  26
    Temporal vs. spatial information as a reinforcer of observing.Craig A. Bowe & James A. Dinsmoor - 1981 - Bulletin of the Psychonomic Society 17 (1):33-36.
  23. Minimize NOx using only combustion control.Craig A. Penterson & Kenneth R. Hules - 2005 - In Alan F. Blackwell & David MacKay (eds.), Power. New York: Cambridge University Press. pp. 149--8.
     
    Export citation  
     
    Bookmark  
  24.  46
    Native land rights in australia.Craig A. Davison - 1998 - Business Ethics, the Environment and Responsibility 7 (1):12–16.
    How do aboriginal traditional land rights fare in the face of modern business? “Belatedly, Australia is dealing with a major human rights issue it has attempted to sweep under the rug for 200 years”. The author is completing his MBA at London Business School and is a mining engineer of Australian origin.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Noncanonical Writings and New Testament Interpretation.Craig A. Evans - 1992
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  26.  26
    Neurobiological computation and synthetic intelligence.Craig A. Lindley - 2013 - In Gordana Dodig-Crnkovic Raffaela Giovagnoli (ed.), Computing Nature. pp. 71--85.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  27. Jesus : sources and self-understanding.Craig A. Evans - 2008 - In Paul K. Moser (ed.), Jesus and Philosophy: New Essays. New York: Cambridge University Press.
     
    Export citation  
     
    Bookmark  
  28. When God Speaks Through Worship: Stories Congregations Live By.Craig A. Satterlee - 2009
    No categories
     
    Export citation  
     
    Bookmark  
  29. When God Speaks Through You: How Faith Convictions Shape Preaching and Mission.Craig A. Satterlee - 2008
    No categories
     
    Export citation  
     
    Bookmark  
  30.  17
    Why universities should seek happiness and contentment.Craig A. Hammond - 2018 - British Journal of Educational Studies 66 (3):406-408.
  31.  12
    Dictates from the Algorithmic Gods”: A Response to “Teaching within Regimes of Computational Truth.Craig A. Cunningham - 2019 - Philosophy of Education 75:700-704.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  57
    An interoceptive neuroanatomical perspective on feelings, energy, and effort.A. D. Craig - 2013 - Behavioral and Brain Sciences 36 (6):685-686.
  33.  49
    Sex determination: insights from the chicken.Craig A. Smith & Andrew H. Sinclair - 2004 - Bioessays 26 (2):120-132.
    Not all vertebrates share the familiar system of XX:XY sex determination seen in mammals. In the chicken and other birds, sex is determined by a ZZ:ZW sex chromosome system. Gonadal development in the chicken has provided insights into the molecular genetics of vertebrate sex determination and how it has evolved. Such comparative studies show that vertebrate sex‐determining pathways comprise both conserved and divergent elements. The chicken embryo resembles lower vertebrates in that estrogens play a central role in gonadal sex differentiation. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  79
    Was Thomas Aquinas a Sociobiologist? Thomistic Natural Law, Rational Goods, and Sociobiology.Craig A. Boyd - 2004 - Zygon 39 (3):659-680.
    Abstract.Traditional Darwinian theory presents two difficulties for Thomistic natural‐law morality: relativism and essentialism. The sociobiology of E. O. Wilson seems to refute the idea of evolutionary relativism. Larry Arnhart has argued that Wilson's views on sociobiology can provide a scientific framework for Thomistic natural‐law theory. However, in his attempt to reconcile Aquinas's views with Wilson's sociobiology, Arnhart fails to address a critical feature of Aquinas's ethics: the role of rational goods in natural law. Arnhart limits Aquinas's understanding of rationality to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  35.  67
    Pride and Humility: Tempering the Desire for Excellence.Craig A. Boyd - 2013 - In Timpe Kevin & Boyd Craig (eds.), Virtues and Their Vices. Oxford: Oxford University Press. pp. 245.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  36. The Politics of the Cross: The Theology and Ethics of John Howard Yoder.Craig A. Carter, Stanley Hauerwas, Chris K. Huebner, Harry J. Huebner, Mark Thiessen Nation & Ben C. Ollenburger - 2005 - Journal of Religious Ethics 33 (1):139-174.
    In his landmark monograph, "The Politics of Jesus", John Howard Yoder challenged mainstream Christian social ethics by arguing that the New Testament account of Jesus's founding of a messianic community entails a normative politics, not only for early Christianity but for the contemporary church. This challenge is further elaborated in several important posthumous publications, especially "Preface to Theology", in which Yoder examines the development of early Christology with attention to its political and ethical implications, and "The Jewish-Christian Schism Revisited", Yoder's (...)
     
    Export citation  
     
    Bookmark  
  37. The individual and society in green, th theory of virtue.Craig A. Smith - 1981 - History of Political Thought 2 (1):187-201.
     
    Export citation  
     
    Bookmark  
  38.  6
    Thomistic Natural Law and the Limits of Evolutionary Psychology.Craig A. Boyd - 2009 - In Michael Ruse (ed.), Philosophy After Darwin: Classic and Contemporary Readings. Princeton University Press. pp. 522-532.
  39.  37
    Body consciousness: A philosophy of mindfulness and somaesthetics (review).Craig A. Cunningham - 2008 - Education and Culture 24 (2):pp. 54-59.
  40.  39
    The anonymous progymnasmata in John Doxapatres' Homiliae in Aphthonium.Craig A. Gibson - 2009 - Byzantinische Zeitschrift 102 (1):83-94.
    This article examines the anonymous progymnasmata in John Doxapatres' commentary on Aphthonius' Progymnasmata for evidence about their authorship, origin, and relations to other progymnasmata. These exercises include three chreias, a refutation and confirmation of the myth of Ganymedes, an encomium and invective of Agamemnon, a comparison of the grapevine and olive tree, and an ethopoeia on the deposition of the emperor Michael V Kalaphates. In addition to providing a formal rhetorical analysis of the exercises, the article offers further support for (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  20
    Christian Ethics and Moral Philosophy: An Introduction to Issues and Approaches.Craig A. Boyd - 2018 - Grand Rapids, Michigan: Baker Academic. Edited by Donald A. D. Thorsen.
    This introductory textbook presents Christian philosophical and theological approaches to ethics. Combining their expertise in philosophy and theology, the authors explain the beliefs, values, and practices of various Christian ethical viewpoints, addressing biblical teachings as well as traditional ethical theories that contribute to informed moral decision-making. Each chapter begins with Words to Watch and includes a relevant case study on a vexing ethical issue, such as caring for the environment, human sexuality, abortion, capital punishment, war, and euthanasia. End-of-chapter reflection questions, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  42
    Pandulf of Capua's De calculatione: an illustrated abacus treatise and some evidence for the Hindu-Arabic numerals in eleventh-century south Italy.Craig A. Gibson & Francis Newton - 1995 - Mediaeval Studies 57 (1):293-335.
  43.  84
    Appraisal components, core relational themes, and the emotions.Craig A. Smith & Richard S. Lazarus - 1993 - Cognition and Emotion 7 (3):233-269.
    This study experimentally tests the contributions of specific appraisals, considered at both molecular (appraisal components) and molar (core relational themes) levels of analysis, to the experience of four emotions (anger, guilt, fear/anxiety, and sadness) using a two-stage directed imagery task. In Stage 1, subjects imagined themselves in scenarios designed to evoke appraisals hypothesised to produce either anger or sadness. In Stage 2, the scenarios unfolded in time to produce a second manipulation designed to systematically evoke the appraisals hypothesised to produce (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   96 citations  
  44.  50
    Shades of Joy: Patterns of Appraisal Differentiating Pleasant Emotions.Phoebe C. Ellsworth & Craig A. Smith - 1988 - Cognition and Emotion 2 (4):301-331.
  45. Heidegger's Roots: Nietzsche, National Socialism, and the Greeks (review).Craig A. Condella - 2006 - Journal of the History of Philosophy 44 (4):675-676.
    Craig A. Condella - Heidegger's Roots: Nietzsche, National Socialism, and the Greeks - Journal of the History of Philosophy 44:4 Journal of the History of Philosophy 44.4 675-676 Muse Search Journals This Journal Contents Reviewed by Craig A. Condella Fordham University Charles Bambach. Heidegger's Roots: Nietzsche, National Socialism, and the Greeks. Ithaca, New York: Cornell University Press, 2003. Pp. xxvi + 350. Paper, $24.95. In the last twenty years, Martin Heidegger's encounter with National Socialism has been an ongoing (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  46.  95
    Participation Metaphysics in Aquinas’s Theory of Natural Law.Craig A. Boyd - 2005 - American Catholic Philosophical Quarterly 79 (3):431-445.
    Interpreters of Aquinas’s theory of natural law have occasionally argued that the theory has no need for God. Some, such as Anthony Lisska, wish to avoid an interpretation that construes the theory as an instance of theological definism. Instead Lisska sees Aquinas’s ontology of natural kinds as central to the theory. In his zeal to eliminate God from Aquinas’s theory of natural law, Lisska has overlooked two important features of the theory. First, Aquinas states that the desire for God is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  47. A cognitive infrastructure for change in South Atnca.A. Craig - forthcoming - Theoria.
    No categories
     
    Export citation  
     
    Bookmark  
  48. Human feelings: Why are some more aware than others?A. D. Craig - 2004 - Trends in Cognitive Sciences 8 (6):239-241.
  49.  43
    Shared Explorations of Body-Mind: The Reciprocal Influences of Dewey and FM Alexander.Craig A. Cunningham - 2007 - Education and Culture 23 (2):48-51.
  50.  5
    Finding a role for Durkheim in Contemporary Moral Theory.Craig A. Cunningham - 2002 - Philosophy of Education 58:328-330.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 970